Core_2 abstractions 9,38
Introduces a variety of general-purpose definitions and
theorems. 

origin